1. Logic programming : formal methods and practical applications
Author: edited by Christoph Beierle, Lutz Plumer
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming
Classification :
QA
76
.
63
.
L63294
1995
